1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
المؤلف: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
2. Algorithmic problem solving /
المؤلف: Roland Backhouse.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms.,Problem solving.,Computer algorithms.,Computer Science.,Engineering & Applied Sciences.,Problem solving.
رده :
QA76
.
9
.
A43
B34
2011
3. Construction et verification de programmes
المؤلف: / Roland C. Backhouse
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Computer programes
رده :
QA
76
.
6
.
B3C6
4. Construction et verification de programmes
المؤلف: BACKHOUSE,ROLAND C
المکتبة: (طهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
B22
1989
5. Generic programmin
المؤلف: / Roland Backhouse, Jeremy Gibbons, eds
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Generic programming (Computer science)
رده :
QA
,
76
.
6245
,.
G46
,
2003
6. Generic programming : advanced lectures
المؤلف: Roland Backhouse, Jeremy Gibbons )eds.(
المکتبة: (طهران)
موضوع: ، Generic programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2793
7. Mathematics of program construction
المؤلف: / Roland Backhouse, Josae Nuno Oliveira (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
I5535
,
2000
8. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
المؤلف: Roland Backhouse, Jose Nuno Oliveira )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
9. Program construction and verification
المؤلف: Backhouse, Roland C.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
10. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Program construction and verification
المؤلف: Backhouse, Roland C
المکتبة: (طهران)
موضوع: ، Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
12. Syntax of programming languages: theory and practice
المؤلف: Backhouse, Roland C.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
